First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
511	JAROSLAV PEREGRIN INTERPRETING FORMAL LOGIC* ABSTRACT. The concept of semantic interpretation is a source of chronic confusion: the introduction of a notion of interpretation can be the result of several quite different Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2005-02-22 12:43:03 Philosophy of language Model theory Logical truth Interpretation First-order logic Truth Logical constant Propositional calculus Logical connective Logic Philosophical logic Logical syntax
512	Compile-Time Debugging of C Programs Working on Trees Jacob Elgaard, Anders Møller, and Michael I. Schwartzbach BRICS, University of Aarhus {elgaard,amoeller,mis}@brics.dk Abstract. We exhibit a technique for automatica Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-02-17 06:24:39 Data types C programming language C++ Primitive types Procedural programming languages First-order logic Struct Pointer Hoare logic Software engineering Computing Computer programming
513	A Tiny Specification Metalanguage Walter Wilson, Yu Lei Dept. of Computer Science and Engineering, The University of Texas at Arlington Arlington, Texas 76019, USA [removed], [removed] Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2012-06-25 15:11:07 Lisp programming language Model theory Mathematical logic Formal languages Functional languages Prolog First-order logic Lisp Logic programming Software engineering Logic Computing
514	Noname manuscript No. (will be inserted by the editor) Declarative Representation of Proof Terms Claudio Sacerdoti Coen Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-05-22 05:46:20 Proof theory Mathematical proofs Philosophical logic Logic in computer science Natural deduction Entailment Curry–Howard correspondence Theorem First-order logic Logic Mathematics Mathematical logic
515	Peirce’s Tutorial on Existential Graphs John F. Sowa Abstract. In his formal papers on existential graphs, Peirce tended to obscure the simplicity of EGs with distracting digressions. In MS 514, however, he presented h Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2011-09-24 23:42:59 Charles Sanders Peirce Philosophical logic Diagrams Predicate logic Existential graph First-order logic Universal quantification Function Logical graph Logic Mathematics Mathematical logic
516	LTL-Model-Checking via Model Composition Ingo Felscher RWTH Aachen University, 52074 Aachen, Germany, [removed], http://automata.rwth-aachen.de/~felscher/ Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-03-01 05:03:49 Temporal logic Automata theory Model checking Model theory First-order logic Symbol Constructible universe Büchi automaton Well-formed formula Logic Mathematical logic Linear temporal logic
517	15282 CG812 Kinetic WECF 8p PDS Add to Reading List Source URL: www.fidante.com.au Language: English - Date: 2015-04-17 01:59:59 Mathematical logic Non-classical logic Reasoning Philosophical logic Logic programming First-order logic Knowledge representation and reasoning SQL Modal logic Logic Programming paradigms Science
518	Fads and Fallacies about Logic John F. Sowa VivoMind Intelligence, Inc. Throughout the history of AI, logic has been praised by its admirers, maligned by its detractors, and discussed in confusing and misleading terms by Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2007-06-29 09:15:06 Mathematical logic Non-classical logic Reasoning Philosophical logic Logic programming First-order logic Knowledge representation and reasoning SQL Modal logic Logic Programming paradigms Science
519	Analyzing the AIR Language: A Semantic Web (Production) Rule Language ? Ankesh Khandelwal1 , Jie Bao1 , Lalana Kagal2 , Ian Jacobi2 , Li Ding1 , and James Hendler1 1 Add to Reading List Source URL: dig.csail.mit.edu Language: English - Date: 2011-02-01 14:38:24 Logic programming Rule Interchange Format Negation Production system First-order logic Reasoning system Artificial intelligence Logic Mathematical logic
520	Children’s Interpretation of Negative Determiners as a Window into Q-Spreading Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:51:04 Mathematical logic Model theory Predicate logic Quantification Philosophical logic Singular they First-order logic Interpretation Sentence Logic Linguistics Semantics

UPDATE